digraph graph_42_08
{
	node_42_08_1
	[
		fixedsize
		height
		width
	]
}
